Taking baby steps in molecular logic-based computation
نویسندگان
چکیده
منابع مشابه
Taking proof-based verified computation a few steps closer to practicality1
We describe GINGER, a built system for unconditional, general-purpose, and nearly practical verification of outsourced computation. GINGER is based on PEPPER, which uses the PCP theorem and cryptographic techniques to implement an efficient argument system (a kind of interactive protocol). GINGER slashes query costs via protocol refinements; broadens the computational model to include (primitiv...
متن کاملTaking Proof-Based Verified Computation a Few Steps Closer to Practicality
We describe GINGER, a built system for unconditional, general-purpose, and nearly practical verification of outsourced computation. GINGER is based on PEPPER, which uses the PCP theorem and cryptographic techniques to implement an efficient argument system (a kind of interactive protocol). GINGER slashes the query size and costs via theoretical refinements that are of independent interest; broa...
متن کاملGoal setting in diabetes self-management: taking the baby steps to success.
OBJECTIVE To evaluate the usefulness of a diabetes self-management guide and a brief counseling intervention in helping patients set and achieve their behavioral goals. METHODS We conducted a quasi-experimental study using a one group pretest posttest design to assess the effectiveness of a goal setting intervention along with a self-management guide. English- and Spanish-speaking patients wi...
متن کاملTaking proof-based verified computation a few steps closer to practicality (extended version)
We describe GINGER, a built system for unconditional, general-purpose, and nearly practical verification of outsourced computation. GINGER is based on PEPPER, which uses the PCP theorem and cryptographic techniques to implement an efficient argument system (a kind of interactive protocol). GINGER slashes the query size and costs via theoretical refinements that are of independent interest; broa...
متن کاملTaking proof - based verified computation a few steps closer to practicality ( extended
We describe GINGER, a built system for unconditional, general-purpose, and nearly practical verification of outsourced computation. GINGER is based on PEPPER, which uses the PCP theorem and cryptographic techniques to implement an efficient argument system (a kind of interactive protocol). GINGER slashes the query size and costs via theoretical refinements that are of independent interest; broa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical Communications
سال: 2015
ISSN: 1359-7345,1364-548X
DOI: 10.1039/c4cc10000j